modal logic - PDFSEARCH.IO - Document Search Engine

modal logic
Results: 1643

#	Item
111	Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗ Add to Reading List Source URL: excape.cis.upenn.edu Language: English - Date: 2014-08-13 21:30:28 Logic Temporal logic Philosophical logic Mathematical logic Abstraction Linear temporal logic Logic in computer science Supervisory control theory Non-classical logic CTL* Modal logic Quantifier
112	Modal Logics of Some Subspaces of Rational Numbers: Diamond as Derivative Joel Lucero-Bryan New Mexico State University Short Background Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:55:40 Mathematics Logic Abstraction General topology Non-classical logic Philosophical logic Modal logic Modality Metrization theorem Closure operator Derivative algebra
113	Rekonstruktion und Diskussion von Jaakko Hintikka: Semantics for Propositional Attitudes [In: J. W. Davis et al. (ed.): Philosophical Logic, Dordrecht 1969, 21–45. Wiederabdruck in: J. Linsky (ed.): Reference and Modal Add to Reading List Source URL: www.paul-natterer.de Language: German
114	Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:53 Logic Mathematical logic Non-classical logic Philosophical logic Predicate logic Model theory First-order logic Barcan formula Modal logic KeY
115	Introduction to Modal and Temporal Logic c Rajeev Gore´ Automated Reasoning Group Computer Sciences Laboratory Australian National University Add to Reading List Source URL: ssll.cecs.anu.edu.au Language: English - Date: 2009-01-19 22:48:26
116	The Logic of Stone Spaces John Harding and Guram Bezhanishvili New Mexico State University www.math.nmsu.edu/JohnHarding.html Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 23:03:42 Mathematics Algebra Structure General topology Abstract algebra Modal logic Order theory Boolean algebra Interior algebra Closure Preorder Topological space
117	Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-01-05 15:36:49 Algebra Abstract algebra Mathematics Semigroup theory Monoid Monad Separation logic Invariant Modal logic Free monoid Syntactic monoid
118	Fall 2014 Undergraduate Philosophy Department Courses PHIL-UA 1; Central Problems in Philosophy; M/W 9:30-10:45; James Pryor http://intro.jimpryor.net This course is an introduction to the methods of contemporary philoso Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-08-30 22:55:28 Logic Philosophy Mathematical logic Philosophical logic Non-classical logic Branches of philosophy Model theory Modal logic Saul Kripke First-order logic Propositional calculus Epistemic modal logic
119	Advances in Modal Logic 2010 CONFERENCE PROGRAMME Tuesday, August 24 Conference Hall, 9-th floor 9:00 – 9:40 Registration (Room 515, 5-th floor) and Coffee 9:40 – 9:45 Opening Add to Reading List Source URL: aiml10.mi.ras.ru Language: English - Date: 2010-08-23 10:05:42
120	This article was downloaded by: [University of Delaware] On: 17 October 2014, At: 11:33 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: Registered office: Mortimer House, 37-41 Add to Reading List Source URL: papafragou.psych.udel.edu Language: English - Date: 2014-10-17 14:33:55 Logic Philosophy Grammatical moods Abstraction Modality Philosophical logic Modal logic Pragmatics Linguistic modality Modal verb Epistemic modality Epistemic possibility

UPDATE